(0 7 3)(1 17 4)(2 14 12)(5 11 8)(6 16 9)(10 15 13)
ALLOWS (11/8)-SEQUENCE
1: (0 7 11)
(0 8 5 11 3)(1 17 4)(2 14 12)(6 16 9)(7)(10 15 13)
2: (3 5 11)
(0 8 5)(1 17 4)(2 14 12)(3)(6 16 9)(7)(10 15 13)(11)
3: (6 16 9)
(0 8 5)(1 17 4)(2 14 12)(3)(6)(7)(9)(10 15 13)(11)(16)
4: (1 17 4)
(0 8 5)(1)(2 14 12)(3)(4)(6)(7)(9)(10 15 13)(11)(16)(17)